Biblioteca do ISEL

Your cart is empty.

Biblioteca do ISEL

Your search returned 4 results. Subscribe to this search

Unhighlight Highlight
|
Basic proof theory / A. S. Troelstra, H. SchwichtenbergPublication: Cambridge : University Press, 2003Description: XII, 417 p. ; 23 cmAvailability: Items available for loan: [TRO. 510.6] (1).

Place hold Add to cart
Programming with constraints : an introduction / Kim Marriott, Peter J. StuckeyPublication: Cambridge : The MIT Press, 1998Description: XIV, 467 p. : il. ; 26 cm.Availability: Items available for loan: [MAR. 681.5(007)] (1). Items available for reference: [MAR. 681.5(007)] (1).

Place hold Add to cart
From logic to logic programming / Kees DoetsPublication: Cambridge : The MIT Press, 1994Description: XII, 214 p. : il.Availability: Items available for loan: [DOE. 004.8] (1). Items available for reference: [DOE. 004.8] (1).

Place hold Add to cart
No cover image available
Handbook of logic in artificial intelligence and logic programming / Dov M. Gabbay, C. J. Hogger, J. A. Robinson ; colab. J. SiekmannPublication: Oxford : Clarendon, 1996Description: [pag.var] : il.Availability: Items available for loan: [GAB. 004.8] (5).

Place hold Add to cart

Informática-ISEL